Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
361	McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-06-10 18:11:01 Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics
362	Is Prediction Possible? Chaotic Behavior of Multiple Equilibria Regulation Model in Cellular Automata Topology IOANNIS D. KATERELOS AND ANDREAS G. KOULOURIS Psychology Department, Panteion University, 17671, Athens, Gree Add to Reading List Source URL: hcs.ucla.edu Language: English - Date: 2007-05-21 17:54:05 Science Systems science Lyapunov exponent Systems theory Social simulation Cellular automaton Lyapunov stability Butterfly effect Self-organization Dynamical systems Stability theory Chaos theory
363	Varieties Generated by Certain Models of Reversible Finite Automata Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 15:22:32 Mathematics Semigroup theory Algebra Models of computation Category theory Semiautomaton Monoid Free monoid Regular language Abstract algebra Automata theory Formal languages
364	DEPTH (QUALIFIER) EXAMINATION IN THEORY OF COMPUTATION AND ALGORITHMS Spring, 2007 Automata, Languages and Complexity: 1. Regular languages (a) finite state automata (deterministic, nondeterministic) Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2007-02-09 21:44:57 Computability theory Models of computation Theory of computation Complexity classes John Hopcroft Alfred Aho Halting problem Turing machine Algorithm Theoretical computer science Applied mathematics Computer science
365	Dynamical Systems and Their Associated Automata R. W. Brockett Abstract This paper studies problems related to the construction of a robust correspondence between an automaton and a continuous-time dynamical system of th Add to Reading List Source URL: hrl.harvard.edu Language: English - Date: 2003-11-28 20:11:43 Algebra Differential geometry Symbol Forcing Skew-symmetric matrix Ordinary differential equations Spectral theory Spectral theory of ordinary differential equations Theorems and definitions in linear algebra Mathematics Mathematical analysis Matrices
366	Next Regular Expression Mastery 1 Next Add to Reading List Source URL: perl.plover.com Language: English - Date: 2005-09-27 00:12:22 Computer programming Software engineering Computing Perl 6 rules Regular expressions Pattern matching Automata theory
367	Omero: User Interfaces in the Plan B OS Laboratorio de Sistemas http://lsub.org/who/ Add to Reading List Source URL: lsub.org Language: English - Date: 2014-05-08 10:49:19 Automata theory DEVS
368	Python regular expressions Regular Expressions • Regular expressions are a powerful string manipulation tool Add to Reading List Source URL: www.astrocomma.com Language: English - Date: 2011-11-08 12:31:32 Pattern matching Scripting languages Regular expressions Formal languages Automata theory Python Sed Conditional D Computing Software engineering Computer programming
369	Journal of Automata, Languages and Combinatorics u (v) w, x–y Otto-von-Guericke-Universit¨ at Magdeburg Regular Expressions: New Results and Open Problems Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2011-06-09 07:59:48 Formal languages Number theory Integer sequences Summation Nondeterministic finite automaton Factorial Regular language Regular expression Combinatory logic Mathematics Automata theory Mathematical notation
370	ECE 102: Digital Circuit Logic Add to Reading List Source URL: www.engr.colostate.edu Language: English - Date: 2013-11-05 11:37:07 Electronic design automation Electronic design Automata theory Circuit complexity Logic synthesis Switching circuit theory Logic gate Programmable logic device Finite-state machine Electronic engineering Digital electronics Theoretical computer science

UPDATE